How do I change the resolution of an HDRI? I've clicked Redraw the HDRI at full resolution, but it still has aliasing

How do I change the resolution of an HDRI? I’ve clicked Redraw the HDRI at full resolution, but it still has aliasing

Scroll list down to background image, gradient or color, select it, change resolution for gradient or color in drop-down menu, or upload image with higher resolution.

10000x5000

If you want hard transition from light to shadow area in reflection, use half pin. Inner edge will be sharper. Outer edge always slightly softened. Other way is to use area light instead of HDRI light pin for this.

It is half pin, but still like you see